Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
891	PDF Document Add to Reading List Source URL: qav.cs.ox.ac.uk Language: English - Date: 2007-07-13 07:18:18 Markov chain Continuous-time Markov process Stochastic process Interpretation Markov decision process Linear temporal logic Statistics Markov processes Model checking
892	PDF Document Add to Reading List Source URL: www.vub.ac.be Language: English - Date: 2001-11-22 15:58:00 Quantum mechanics Linear algebra Lie groups Operator theory Group theory Quantum logic Complemented lattice Hilbert space Lattice Algebra Mathematics Abstract algebra
893	PDF Document Add to Reading List Source URL: www.unich.it Language: English - Date: 2004-10-23 17:43:06 Non-classical logic Joachim Lambek Mathematics Linear logic Adjoint functors Duality Logic Mathematical logic Substructural logic
894	PDF Document Add to Reading List Source URL: www.model.in.tum.de Language: English - Date: 2008-03-27 10:41:08 Temporal logic Logic in computer science Formal methods Formal sciences Model checking Linear temporal logic Computation tree logic Formal verification CTL* Mathematical logic Logic Theoretical computer science
895	PDF Document Add to Reading List Source URL: www.let.uu.nl Language: English - Date: 2009-03-16 13:46:32 Proof theory Grammar Logical connectives Categorial grammar Combinatory categorial grammar Natural deduction Linear logic Modus ponens Curry–Howard correspondence Logic Mathematical logic Linguistics
896	PDF Document Add to Reading List Source URL: www.ml.kva.se Language: English - Date: 2010-03-11 12:21:44 Model theory Mathematical logic Logical syntax Interpretation First-order logic Entailment Well-formed formula Linear temporal logic Dependence logic Logic Metalogic Formal languages
897	PDF Document Add to Reading List Source URL: www.numbertheory.org Language: English - Date: 2002-02-05 00:07:06 Matrix theory Matrices Canonical form Logic Rank Matrix Determinant Frobenius normal form Theorems and definitions in linear algebra Algebra Mathematics Linear algebra
898	PDF Document Add to Reading List Source URL: ilpubs.stanford.edu Language: English - Date: 2008-09-17 01:51:19 K-means++ Normal distribution Distribution K-means clustering Cauchy–Schwarz inequality Cluster analysis Golden ratio base Linear temporal logic Statistics Mathematics Mathematical analysis
899	PDF Document Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-03-13 07:54:14 Mathematics Linear temporal logic Model checking Kripke semantics LTL Model theory CTL* Computation tree logic Logic Mathematical logic Temporal logic
900	PDF Document Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-03-21 04:39:41 Mathematical logic Logic in computer science Metalogic CTL* Computation tree logic Model theory Linear temporal logic Well-formed formula Kripke semantics Logic Temporal logic Mathematics

UPDATE